iOS does not play MIDI files,
so each .mid file in Sounds - midi must be converted
to an M4A file in Sounds - m4a.

To do so, go to https://www.onlineconverter.com/midi-to-m4a and follow your nose.
